Converging to the Chase - a Tool for Finite Controllability

We solve a problem, stated in [CGP10], showing that Sticky Datalog, defined in the cited paper as an element of the Datalog\pm project, has the finite controllability property. In order to do that, we develop a technique, which we believe can have further applications, of approximating Chase(D, T), for a database instance D and some sets of tuple generating dependencies T, by an infinite sequence of finite structures, all of them being models of T

On the k-Boundedness for Existential Rules

The chase is a fundamental tool for existential rules. Several chase variants are known, which differ on how they handle redundancies possibly caused by the introduction of nulls. Given a chase variant, the halting problem takes as input a set of existential rules and asks if this set of rules ensures the termination of the chase for any factbase. It is well-known that this problem is undecidable for all known chase variants. The related problem of boundedness asks if a given set of existential rules is bounded, i.e., whether there is a predefined upper bound on the number of (breadth-first) steps of the chase, independently from any factbase. This problem is already undecidable in the specific case of datalog rules. However, knowing that a set of rules is bounded for some chase variant does not help much in practice if the bound is unknown. Hence, in this paper, we investigate the decidability of the k-boundedness problem, which asks whether a given set of rules is bounded by an integer k. We prove that k-boundedness is decidable for three chase variants, namely the oblivious, semi-oblivious and restricted chase.Comment: 20 pages, revised version of the paper published at RuleML+RR 201

«Speculator castrorum Dei». Philosophy and Theology in Godfrey of St. Victor’s Sermons

In his sermons Godfrey of St. Victor analyzes the theoretical foundations of the mechanical and liberal arts starting from the teaching of his school. Considering the arts as man’s guaranteed expedient for his survival after original sin, Godfrey clarifies the modalities of a virtuous use of artes in the state of sin, even if he insists on showing the dramatic condition of the human soul linked to a body forced into materiality. By circumscribing the limits of the exercise of human reason, Godfrey distinguishes a philosophy as pagan metaphysics (whose object is grasped by man with the exercise of the sola ratio) and as a process of ascension to true theology (whose subject, otherwise unknown to the man, is granted to him with Revelation): if in the first one there is a risk, a danger of sin, the second is certainly necessary for the man who seeks God

Efeito do anti-TNF-α em implantes endometriais no peritônio de ratas

OBJETIVO: Avaliar o efeito da terapia anti-TNF-α no tratamento de implantes endometriais no peritônio de ratas. MÉTODOS: Os implantes endometrióticos foram induzidos cirurgicamente em 120 ratas Wistar-Albino. Os animais foram aleatoriamente distribuídos em 4 grupos. O grupo C (n=36) recebeu uma injeção intraperitoneal de 0,2ml de solução salina. O grupo L (n=41) recebeu uma injeção subcutânea de 1mg/kg de leuprolide. O grupo I5 (n=20) recebeu uma injeção subcutânea de 5mg/kg de anticorpo monoclonal anti-fator de necrose tumoral (TNF) a (infliximab). O grupo I10 (n=20) recebeu uma injeção subcutânea de 10mg/kg de infliximab. As ratas foram sacrificadas após 21 dias para se avaliar o tamanho dos implantes e a expressão do TNF-α. RESULTADOS: O tratamento com leuprolide promoveu uma redução absoluta na área de superfície do implante comparado com o grupo C (+14mm vs. 0mm; p=0,013) e com o grupo I10 (+14mm vs. +5mm; p=0,018). Da mesma forma, uma redução percentual da area de superfície do implante foi observada comparando o grupo L com o grupo C (+33,3% vs. 0%; p=0,005) e com o grupo I10 (+33,3% vs. +18,3%; p=0,027). O tratamento com infliximab não foi capaz de diminuir a área de superfície do implante comparado com o grupo C. A expressão de TNF-α reduziu nos grupos L, I5 e I10 comparado com o grupo C (505,6µm² vs. 660,5µm² vs. 317,2µm² vs. 2519,3µm², respectivamente; p<0,001). CONCLUSÃO: A terapia anti-TNF-α reduziu a expressão de TNF-α nos implantes endometrióticos mas não reduziu a área de superfície da lesão